$\forall$$A$, $B$:Top. [[$A$ $\oplus$ $B$]] $\sim$ ([[$A$]] $\oplus$ [[$B$]])